Commentary on standard ML

Commentary on standard ML

∗I generated this file on October 12, 2002, from a back-up dated May 2, 1991, since no original dvi file was available in the back-up. I had to change two occurrences of >From to From in the source files (apparently corruption caused by a mail program). Furthermore, I had to edit the tex files to force page breaks on pages 43, 99, 100, 111, 120, 130, 137 and 138 to be as in the printed version....

Reeections on Standard Ml

Standard ML is one of a number of new programming languages developed in the 1980s that are seen as suitable vehicles for serious systems and applications programming. It ooers an excellent ratio of expressiveness to language complexity, and provides competitive eeciency. Because of its type and module system, Standard ML manages to combine safety, security, and robustness with much of the exib...

Reflections on Standard ML

Standard ML is one of a number of new programming languages developed in the 1980s that are seen as suitable vehicles for serious systems and applications programming. It offers an excellent ratio of expressiveness to language complexity, and provides competitive efficiency. Because of its type and module system, Standard ML manages to combine safety, security, and robustness with much of the f...

Re ections on Standard ML

Standard ML is one of a number of new programming languages developed in the s that are seen as suitable vehicles for serious systems and applications programming It o ers an excellent ratio of expressiveness to language complexity and provides competitive e ciency Because of its type and module system Standard ML manages to combine safety security and robustness with much of the exibility of d...

Standard ML on the Web server : Visualizing